<html>
<body>
从 <code>Boolean</code> 表达式创建断言。
</body>
</html>